Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Contracts
class
    CD_CLASS

General
    cluster: root_cluster
    description: "objects of type CD_CLASS should represent CDs on which we sort given directories"
    create: make

Ancestors
    ANY

Queries
    directory_collection: DIRECTORY_COLLECTION
    free_space: REAL
    medium_size: REAL
    out: STRING

Commands
    add_directory (a_directory: DIRECTORY_CLASS)
    make (a_medium_size: REAL)

Constraints
    free space smaller or equal to medium

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com